A New Method for Modeling on Concurrent System
نویسندگان
چکیده
Binary decision diagrams (BDDs) are effective means to cope with complex concurrent system. But the size of BDD itself can be relatively large. We study the BDD representation of large synchronous, asynchronous and interleaved processes with communication via shared variables. Due to the features of communication, we introduce a novel representation strategy. Based on the model, we continue to model and map up the synchrony, and detect the deadlock errors.
منابع مشابه
A New Framework for Congestion Management with Exact Modeling of Impacting Factors
Congestion in the transmission lines is one of the technical problems that appear particularly in the deregulated environment. The voltage stability issue gets more important because of heavy loading in this environment. The main factor causing instability is the inability of the power system to meet the demand for reactive power. This paper presents a new approach for alleviation congestion re...
متن کاملAn Optimized Online Secondary Path Modeling Method for Single-Channel Feedback ANC Systems
This paper proposes a new method for online secondary path modeling in feedback active noise control (ANC) systems. In practical cases, the secondary path is usually time-varying. For these cases, online modeling of secondary path is required to ensure convergence of the system. In literature the secondary path estimation is usually performed offline, prior to online modeling, where in the prop...
متن کاملSemi-Blind Channel Estimation based on subspace modeling for Multi-user Massive MIMO system
Channel estimation is an essential task to fully exploit the advantages of the massive MIMO systems. In this paper, we propose a semi-blind downlink channel estimation method for massive MIMO system. We suggest a new modeling for the channel matrix subspace. Based on the low-rankness property, we have prposed an algorithm to estimate the channel matrix subspace. In the next step, using o...
متن کاملYarn tenacity modeling using artificial neural networks and development of a decision support system based on genetic algorithms
Yarn tenacity is one of the most important properties in yarn production. This paper addresses modeling of yarn tenacity as well as optimally determining the amounts of the effective inputs to produce yarn with desired tenacity. The artificial neural network is used as a suitable structure for tenacity modeling of cotton yarn with 30 Ne. As the first step for modeling, the empirical data is col...
متن کاملA New Structure for Direct Measurement of Temperature Based on Negative Temperature Coefficient Thermistor and Adaptive Neuro-fuzzy Inference System
Thermistors are very commonly used for narrow temperature-range high-resolution applications, such as in medicine, calorimetry, and near ambient temperature measurements. In particular, Negative Temperature Coefficient (NTC) thermistor is very inexpensive and highly sensitive, whose sensing temperature range and sensitivity are highly limited due to the intrinsic nonlinearity and self-heating p...
متن کاملFuzzy Modeling and Synchronization of a New Hyperchaotic Complex System with Uncertainties
In this paper, the synchronization of a new hyperchaotic complex system based on T-S fuzzy model is proposed. First, the considered hyperchaotic system is represented by T-S fuzzy model equivalently. Then, by using the parallel distributed compensation (PDC) method and by applying linear system theory and exact linearization (EL) technique, a fuzzy controller is designed to realize the synchron...
متن کامل